$\forall$$g$:OCMon, $x$, $y$:$\mid$$g$$\mid$. ($\uparrow$($x$ $\leq_{b}$ $y$)) $\Rightarrow$ ($\uparrow$($y$ $\leq_{b}$ $x$)) $\Rightarrow$ ($x$ = $y$)